Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
101	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification
102	UDCD. V. Chistikov1 Testing Read-Once Functions over the Elementary Basis We prove a universal upper bound on checking test length for read-once functions over the elementary basis. We also identify the exact Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-02-11 10:36:13 Abstract algebra Vectors Vector calculus Functions and mappings Monotonic function Vector space Function Euclidean vector FO Algebra Mathematics Linear algebra
103	10NCEE Tenth U.S. National Conference on Earthquake Engineering Frontiers of Earthquake Engineering July 21-25, 2014 Anchorage, Alaska Add to Reading List Source URL: openfresco.berkeley.edu Language: English - Date: 2014-08-31 21:13:31 Universal algebra Civil engineering Earthquake engineering Earthquakes Structural engineering Substructure Structure Superstructure Construction Model theory Engineering
104	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering
105	Conference Full Paper template Add to Reading List Source URL: openfresco.berkeley.edu Language: English - Date: 2014-08-31 20:48:20 Engineering Model theory Universal algebra Structural engineering Building Vibration control Substructure Superstructure Structure Construction Civil engineering Earthquake engineering
106	Why Do States Join Some Universal Treaties but not Others? An Analysis of Treaty Commitment Preferences Yonatan Lupu Department of Political Science George Washington University September 22, 2014 Add to Reading List Source URL: yonatanlupu.com Language: English - Date: 2014-09-29 09:24:51 Multivariate statistics Singular value decomposition Abstract algebra Psychometrics Data warehousing NOMINATE Dimension Principal component analysis NATO Algebra Mathematics Statistics
107	Appears in the SIGGRAPH 2014 Proceedings. High-Order Similarity Relations in Radiative Transfer Shuang Zhao Cornell University Add to Reading List Source URL: shuangz.com Language: English - Date: 2014-04-29 17:20:01 Universal algebra Ordinal number Inverse problem Parameter Mathematics Model theory Structure
108	Calculate categorically! ∗ Maarten M Fokkinga † Add to Reading List Source URL: maartenfokkinga.github.io Language: English - Date: 2014-11-22 17:19:41 Morphism Functor Cone Arrow Universal property Category Limit Comma category Sheaf Category theory Abstract algebra Mathematics
109	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
110	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics

UPDATE